« ان المثال المفروض في الضرب الثانى قولنا : بعض الحيوان انسان و لا شيئى من الصاهل به انسان ، ينتج بعض الحيوان ليس بصاهل و ذلك بدليل الافتراض و هو ان نفرض ذات موضوع الصغرى الكاتب مثلا فنقول : كل كاتب انسان لانه عين بعض الحيوان الّذي هو عين الانسان و كل كاتب حيوان ثمّ نضم المقدمة الاولى الى الاكبر و يقال كل كاتب انسان و لا شيئى من الصاهل به انسان لينتج من اول اقسام الشكل الثانى فلا شيئى من الكاتب بصاهل ثم نعكس المقدمة الثانية و هي قولنا كل كاتب حيوان الى بعض الحيوان كاتب و يضم مع نتيجة القياس الاول هكذا بعض الحيوان كاتب و لا شيئى من الكاتب بصاهل ينتج من الشكل الاول بعض الحيوان ليس بصاهل و هو المطلوب » . « 1 » در خاتمه مرحوم مظفر مىفرمايد : بر طالب علم است كه در غير دو يا سه نمونه مذكور ، از ساير ضروب شكل سوم نيز برهان افتراض را به كار بسته و جهت تمرين بيشتر از آن استفاده كند . ما اين بخش را نيز از زبان مرحوم آملى بيان مىكنيم : ضرب رابع از ضروب شكل ثالث آن است كه صغرى ، موجبهء كليه و كبرى ، موجبهء جزئيه باشد مثل : « كل انسان حيوان » و « بعض الانسان ضاحك » كه نتيجه‌اش : « بعض الحيوان ضاحك » است و اين از راه خلف قابل اثبات است كه گذشت و از راه افتراض نيز قابل اثبات است . بيان ذلك : « و هو فرض موضوع الكبرى الكاتب مثلا فكل كاتب انسان و كل كاتب ضاحك ثم نقول كل كاتب انسان و كل انسان حيوان فكل كاتب حيوان ثم نقول : كل كاتب حيوان و كل كاتب ضاحك ينتج بعض الحيوان ضاحك و هو المطلوب ضرب ثالث از ضروب شكل ثالث : المركب من موجبة جزئية صغرى و موجبة كلية كبرى نحو بعض الحيوان انسان و كل حيوان ماش ينتج بعض الانسان ماش و ذلك بالخلف و به عكس الصغرى كما مرّ و بدليل الافتراض و هو ان بفرض موضوع الجزئيه الكاتب مثلا و كل كاتب حيوان بالافتراض و كل كاتب انسان ثم نضم المقدمة الاولى الى كبرى القياس فنقول كل كاتب حيوان و كل حيوان ماش ينتج كل كاتب ماش ثم نجعلها كبرى للمقدمة الثانية هكذا كلى كاتب انسان و كل كاتب ماش ينتج من القسم الاول من هذا الشكل بعض الانسان ماش و هو المطلوب » . « 2 »

--> ( 1 ) . حاشيهء شرح الشمسيه ، صفحهء 147 . ( 2 ) . حاشية شرح الشمسيه ، صفحهء 149 .